Buy Used and New Amir Nahir Books

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... 7857 (Lecture Notes in Computer Science)

by Armin Biere,Amir Nahir,Tanja Vos

ISBN 13: 9783642396106

Format: Paperback (296 pages)
Publisher: Springer
Published: 19 Jul 2013

Save for later